This is the revision history for lean reunittests this in <libera.chat:#esolangs>

factoid_idsubjectcopulapredicateauthornamespace
11813 lean reunittests this is a test go|dfish <*:##NULL>